a divides b